type a = bool
